Individual concepts as propositional variables in ${\rm ML}^{\nu+1}$.
نویسندگان
چکیده
منابع مشابه
Demonstratives as individual concepts
Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.
متن کاملMathematical Variables as Indigenous Concepts
This paper explores the semiotic status of algebraic variables. To do that we build on a structuralist and post-structuralist train of thought going from Mauss and Lévi-Strauss to Baudrillard and Derrida. We import these authors’ semiotic thinking from the register of indigenous concepts (such as mana), and apply it to the register of algebra via a concrete case study of generating functions. T...
متن کاملBecoming Aware of Propositional Variables
We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that the logic is decidable, and we present a complete axiomatization.
متن کاملIntensional Concepts in Propositional Semantic Networks
An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only in-tensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in some world. This framework is employed in three application problems to illustrate the nature of its s...
متن کاملIndividual- and Population-based Diversity in RM Systems
Restriction-modification (RM) systems are cognate gene complexes that code for an endonuclease and a methylase. They are often thought to have developed in bacteria as protection against invading genetic material, e.g., phage DNA. The high diversity of RM systems, as observed in nature, is often ascribed to the coevolution of RM systems (which ‘invent’ novel types) and phages. However, the exte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1984
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870685